Reactive Synthesis from Signal Temporal Logic Specifications Vasumathi Raman Alexandre Donzé

Source URL: dorsa.fyi

Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

Source URL: hrilab.tufts.edu

Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Source URL: www.cis.upenn.edu

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

Source URL: www.home.hs-karlsruhe.de

Linear-Time Temporal Logic Control of Discrete Event Systems Bruno Filipe Ara´ ujo Lacerda

Source URL: sqig.math.ist.utl.pt

Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic

Source URL: cs.ioc.ee

Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia

Source URL: www.ioc.ee

Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook

Source URL: www.ioc.ee